// WORKAROUND: Another empty source file. Otherwise NDK build on Windows fails!